Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
821	Voiding a Code Ad-ID codes are created at www.ad-id.org. Once codes have been created, you can edit the code information at any time. A void feature is available in the editing area. 1. When you first sign in to your ac Add to Reading List Source URL: www.ad-id.org Language: English - Date: 2014-08-18 11:43:43 Procedural programming languages Data types Advertising Identifiers Universal identifiers Ad-ID C ALGOL 68 Void type Programming language theory Software engineering Computing
822	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
823	中國醫藥大學九十五學年度二年制在職專班入學招生考試試題系別：二年制呼吸治療學系在職專班科目：英文考試時間：80 分鐘 Add to Reading List Source URL: rt.cmu.edu.tw Language: English - Date: 2011-11-09 02:06:42 Type theory Order theory Ordered pair
824	Apparent Entropy of Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:17 Ergodic theory Support Strictly positive measure Subshift of finite type Measure Entropy Invariant measure Measure-preserving dynamical system Normal distribution Mathematical analysis Measure theory Dynamical systems
825	In Defense of Probabilistic Static Analysis Shuvendu K. Lahiri Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-24 19:21:12 Software engineering Type theory Pointer Static single assignment form Statistical power Causality Datalog Null Programming language theory Computing Data types
826	Splitting traits into implementation and interface facets (aka AddInterfaces) c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia September 30th , 2011 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-10-03 06:26:28 Object-oriented programming Method Type theory Mixin Trait Constructor Property Mutator method Class Software engineering Computing Computer programming
827	PDF Document Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2010-11-24 04:00:44 Group theory Geometric group theory Combinatorics on words Group action Symmetry Subshift of finite type Conjugacy class Line graph Out Abstract algebra Mathematics Graph theory
828	Complex Shift Dynamics of Some Elementary Cellular Automaton Rules Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-03-26 17:18:16 Mathematics Probability theory Œ Latin alphabets Dynamical systems Ø Cellular automaton Bernoulli scheme Subshift of finite type Ergodic theory Combinatorics on words Statistics
829	1234567890123456789012 1234567890123456789012 1234567890123456789012 1234567890123456789012 1234567890123456789012 1234567890123456789012 Add to Reading List Source URL: www.qdusa.com Language: English - Date: 2011-08-19 15:03:00 Electromagnetism High-temperature superconductivity Type-II superconductor Technological applications of superconductivity Scanning SQUID microscopy Nuclear magnetic resonance SQUID BCS theory Yttrium barium copper oxide Physics Superconductivity Condensed matter physics
830	Formatting Variables in C-Max 2.0 One of the many new features in C-Max 2.0 is the enhanced formatting now available for variables. This new capability is available in two distinct areas of “variable” usage: in embed Add to Reading List Source URL: www.appdig.com Language: English - Date: 2002-12-20 16:33:48 Data types Type theory Character encoding Procedural programming languages Variables ASCII String Value ALGOL 68 Software engineering Computing Programming language theory

UPDATE